contract OtherExternal {
}
